State update transformation
نویسندگان
چکیده
Re ursive predi ates frequently generate some state whi h is updated after the re ursive all. We present a sour e to sour e transformation whi h an move the state update before to the re ursive all, thus helping to make the predi ate tail re ursive, and report on its implementation in the Merury ompiler.
منابع مشابه
Update Semantics for Interoperability among XML, RDF and RDB - A Case Study of Semantic Presence in CISCO's Unified Presence Systems
XSPARQL is a transformation and querying language that provides an integrated access over heterogeneous data sources on the fly. It is an extension of XQuery which supports a subset of SPARQL and SQL to provide unified access over XML, RDF and RDB formats. In practical applications, data integration does not only require the integrated access over distributed heterogeneous data sources, but als...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملSymbolic Model-Checking of Optimistic Replication Algorithms
The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange their updates in any order. The basic idea of this approach is to transform any received update operation before its execution on a replica of the object. This transformation aims to ensure the convergence of the different repl...
متن کاملA case study of Semantic Presence in CISCO’s Unified Presence Systems
XSPARQL is a transformation and querying language that provides an integrated access over heterogeneous data sources on the fly. It is an extension of XQuery which supports a subset of SPARQL and SQL to provide unified access over XML, RDF and RDB formats. In practical applications, data integration does not only require the integrated access over distributed heterogeneous data sources, but als...
متن کاملA Review of Alcohol-Related Harms: A Recent Update
In the early decades of the 20th century, discussions regarding alcohol were dominantly directed toward itstherapeutic uses, but authorities now state that any level of alcohol consumption poses negative effects onhealth. Over recent months, increased attention has been devoted to disease burdens attributable to alcoholuse worldwide. As more...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007